Nuprl Definition : inr def 9,38

inr x  is Primitive 
latex


origin